Theoretische Informatik

Module	LV Type	CP	LV	Dates
Algorithmische Lerntheorie	Fach-/Modulprüfung	6	488808
	Vorlesung		496468	Mo 12:30-14:00 AH III (2350\|314.1) (×10) Di 08:30-10:00 AH III (2350\|314.1) (×10)
	Übung		496469	Do 08:00-09:00 AH II (2350\|111) (×1) Fr 10:00-11:00 AH II (2350\|111) (×1) Fr 14:30-16:00 5052 (2356\|052) (×1) Fr 14:30-16:00 5056 (2356\|056) (×8) Fr 14:30-16:00 Seminarraum i7, Raum 4116 (2353\|116) (×1)
Algorithmische Modelltheorie I	Fach-/Modulprüfung	8	488928
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	491953
Algorithms for Politics	Fach-/Modulprüfung	6	490173
Analyse von Algorithmen	Fach-/Modulprüfung	8	489038
Compilerbau	Fach-/Modulprüfung	6	488864
Concurrency Theory	Fach-/Modulprüfung	6	488685
	Vorlesung		495716	Di 14:30-16:00 AH II (2350\|111) (×8) Do 14:30-16:00 AH II (2350\|111) (×9)
	Übung		495717	Mo 14:30-16:00 AH I (2350\|028) (×8) Do 14:30-16:00 AH I (2350\|028) (×2)
Erfüllbarkeitsüberprüfung	Fach-/Modulprüfung	6	489132
Erfüllbarkeitsüberprüfung	Vorlesung/Übung		485197	Mo 08:30-10:00 AH III (2350\|314.1) (×13) Di 10:30-11:15 AH VI (2356\|051) (×12) Fr 08:30-10:00 AH II (2350\|111) (×13)
Formale Grundlagen von UML	Fach-/Modulprüfung	6	491963
	Vorlesung		495719	Di 10:30-12:00 AH III (2350\|314.1) (×9) Do 10:30-12:00 AH I (2350\|028) (×13)
	Übung		495718	Do 08:30-10:00 AH I (2350\|028) (×9)
Graphalgorithmen	Fach-/Modulprüfung	6	489143
Graphzerlegungen und algorithmische Anwendungen	Fach-/Modulprüfung	6	492506
Infinite Computations and Games	Fach-/Modulprüfung	6	489207
	Vorlesung		485276	Mo 10:30-12:00 5056 (2356\|056) (×13) Do 14:00-15:00 AH II (2350\|111) (×1) Fr 11:00-12:00 AH II (2350\|111) (×1)
	Übung		485028	Mi 14:30-16:00 5052 (2356\|052) (×12)
Komplexitätstheorie	Fach-/Modulprüfung	6	489177
	Vorlesung		496466	Do 12:30-14:00 AH VI (2356\|051) (×15) Fr 12:30-14:00 AH I (2350\|028) (×1)
	Übung		496467	Fr 12:30-14:00 AH I (2350\|028) (×13)
Logik und Spiele	Fach-/Modulprüfung	8	490773
Logik und Spiele	Fach-/Modulprüfung	8	490772
Mathematische Logik II	Fach-/Modulprüfung	8	488924
	Vorlesung		494454	Mo 10:30-12:00 IV (1010\|141) (×12) Di 12:30-14:00 AH I (2350\|028) (×13)
	Übung		494455	Di 14:15-15:45 AH I (2350\|028) (×11) Di 14:30-16:00 AH I (2350\|028) (×1) Mi 08:30-12:00 AH II (2350\|111) (×1) Do 10:30-12:30 AH II (2350\|111) (×1)
Model Checking	Fach-/Modulprüfung	6	491945
Modeling and Verification of Probabilistic Systems	Fach-/Modulprüfung	6	489807
	Vorlesung		495722	Mo 12:30-14:00 AH I (2350\|028) (×10) Do 12:30-14:00 AH II (2350\|111) (×11)
	Übung		495723	Do 12:30-14:00 AH II (2350\|111) (×1) Do 16:30-18:00 AH I (2350\|028) (×12)
Parametrisierte Algorithmen	Fach-/Modulprüfung	8	491946
Post-quantum cryptography	Fach-/Modulprüfung	6	507718
Post-quantum cryptography	Vorlesung/Übung		507533	Mo 16:30-18:00 AH V (2356\|050) (×13) Mi 16:30-18:00 AH I (2350\|028) (×8) Do 16:30-18:00 AH III (2350\|314.1) (×9)
Probabilistic Programming	Fach-/Modulprüfung	6	489064